dfa in game design